product{-}deq($A$;$B$;$a$;$b$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\langle$proddeq($a$;$b$)$,\,$prod{-}deq($A$;$B$;$a$;$b$)$\rangle$